Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
121	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
122	Task-parallel versus data-parallel library-based programming in multicore systems Diego Andrade, Basilio B. Fraguela University of A Coru˜na, Spain {dcanosa,basilio}@udc.es Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2009-02-18 05:56:48 Computing Computer programming Parallel computing Software engineering Threading Building Blocks HTML Application Data parallelism Parchive Multi-core processor Task parallelism XC OpenMP
123	Collective Error Detection for MPI Collective Operations? Chris Falzone University of Pennsylvania at Edinboro Edinboro, PennsylvaniaAnthony Chan, Ewing Lusk, and William Gropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Computing Computer programming Parallel computing Software engineering Application programming interfaces Message Passing Interface MPICH Hash function Computer cluster Collective operation Lis
124	The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents Add to Reading List Source URL: bogumilkaminski.pl Language: English - Date: 2015-01-04 14:18:51 Software engineering Computing Computer programming Subroutines Data types Anonymous function Functional programming Lambda calculus Exponentiation ATS Array data type Parameter
125	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
126	Microsoft PowerPoint - bamboo_iwapt09_091002.ppt Add to Reading List Source URL: iwapt.org Language: English - Date: 2009-10-14 20:08:44 Software engineering Computing Computer programming Operations research Simulation Ada Bamboo Parallel computing Simulation software
127	Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:23 Units of information Computing Binary arithmetic Information Linguistics Nibble Hexadecimal numeral system Computer arithmetic Hexadecimal Byte Binary-coded decimal
128	Object-Oriented Experiences with GBT Monitor and Control J. R. Fisher National Radio Astronomy Observatory, Green Bank, WV 24944, USA Add to Reading List Source URL: www.cv.nrao.edu Language: English - Date: 2010-12-28 10:54:21 Software engineering Computing Computer programming Object-oriented programming Programming paradigms Software architecture Green Bank Telescope Software design Component-based software engineering Code reuse Interface Modular programming
129	Project 5 - The Meta-Circular Evaluator Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-02 09:25:33 Software engineering Computer programming Computing Control flow Procedural programming languages Eval Scheme Anonymous function Infinite loop Assignment Conditional Meta-circular evaluator

UPDATE